Project-Team Convecs
Members
Overall Objectives
Overview
Research Program
New Formal Languages and their Concurrent Implementations
Parallel and Distributed Verification
Timed, Probabilistic, and Stochastic Extensions
Component-Based Architectures for On-the-Fly Verification
Real-Life Applications and Case Studies
Application Domains
Application Domains
New Software and Platforms
The CADP Toolbox
The TRAIAN Compiler
New Results
New Formal Languages and their Implementations
Parallel and Distributed Verification
Timed, Probabilistic, and Stochastic Extensions
Component-Based Architectures for On-the-Fly Verification
Real-Life Applications and Case Studies
Bilateral Contracts and Grants with Industry
Bilateral Grants with Industry
Partnerships and Cooperations
Regional Initiatives
National Initiatives
European Initiatives
International Initiatives
International Research Visitors
Dissemination
Promoting Scientific Activities
Teaching - Supervision - Juries
Popularization
Miscellaneous Activities
Bibliography
Major publications
Publications of the year
References in notes
Inria
|
Raweb 2016
|
Presentation of the Project-Team CONVECS
|
CONVECS Web Site
PDF
e-Pub
Previous |
Home
| Next
Section: Partnerships and Cooperations
International Research Visitors
Visits of International Scientists
Hernan Ponce de Leon (Aalto University, Finland) visited us from February 15 to February 19, 2016.
Previous |
Home
| Next